Simplifying the implementation of eval
Simplifying the implementation of eval
Simplifying the implementation of eval
Simplifying the implementation of eval, cond
Simplifying the implementation of eval, rewrite
Simplifying the implementation of eval, rewrite