Merge pull request #37 from thinkpad20/typeclasses

Initial import of type classes, still needs implementation for declaration/instances
Update README.md
refactored type classes, added in instantiation for declared types
improving parsing, now can use symbols in let statements and compiles correctly yay