Added lazy version of syntax fold
Various bugfixes in inference and checker
Versions of base types suited for type inference