refactored type classes, added in instantiation for declared types
improving parsing, now can use symbols in let statements and compiles correctly yay
big refactoring, kind checking, tons of stuff
Merge pull request #38 from thinkpad20/typeclasses

Typeclasses