Began modification of Algorithm W:
* Constraints are now a part of res(ult)
* Lambdas now have ann
* Constr is defined as a set of Relations
* Introcuded freshvar functions for AnnVar
* Renamed Num to Nat
* Added cases to W for Nat and Bool
* Updated case for Var and Lam
* Todo are updating App and Let
* Extended fromTree and toTree so that the parseResult is actually shown