sig statements added
added underscore variables
moved adt desugaring into type checker; might not be so great but seems necessary to register constructors and check uniqueness of new type names
added namespacing to error messages. Still very primitive
working on type class theory n stuff
updated compilejs
adding parser and compilejs changes
initial implementation of type class checking yay

adding ideas

removing print statements
added parsers for type class and instance declarations
adding a little error handling, type variable genericization and more sophisticated parsing
adding some comments to the binary function parser
Merge pull request #37 from thinkpad20/typeclasses

Initial import of type classes, still needs implementation for declaration/instances