Change reduce to be more like scheme
Tweak errors
Add memp