For some expressions such as (/ x 0), where 0 appears as an immediate subexpression, it is easy to check for and eliminate divide-by-zero errors. Enhance the typechecking rule for the division expression so that the type-system is able to detect and remove such errors, where 0 is an immediate subexpression of the division expression.