started implementing separation of declarative vs. binding environments (according to Lisp in Small Pieces)