Remove boilerplate, autoderive Eq instance
Separate builtin operators from user-defined
Fix invalid syntax in non-working SICP example