Add support classes for identifiers
Add comments to Parser

These comments are mostly just musings on how to implement necessary
features of the compiler.