Syntax:Now possible to add class def for methods with an optional first argument

Avoiding overflows on Ints

Added addConstraintsFromRHS and fixed some typos

Added type synonim

Commentend on README

Including haskell source

Including the parser

Filling README.md file

Initial commit