starting to add hashtables
Parsing right-associative identifiers. Updated readme.
added a bunch of type checker tests
lots of thoughts