Added support for general default expressions in constructors
Uncommented (temporarily commented) tests
CallTests now typecheck, compile and pass!
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Fixed type error
Squashed 2 dozen type bugs, at 510 type errors now