Work on TypeInference.hs
Added Let to Feldspar
Removed constraint on QuickCheck
Type inference for Let works properly