Rework the comments again
Annotate and simplify the parser somewhat
Comment the parser again
Add some lisp-related notes