Removed some junk.
Removed superfluous comment (terms have been implemented in the parser
at this point), and modified some other stuff.