added comments and also a special list form for symbol lists (used in lambda abstractions
you don't need to treat let bindings as implicit quasiquoted lists anymore