type parameterized constructors should be allowed to instantiate their
own type from now on. This is such that they still know their scheme
when they are updated via "set" for example.
Merge branch 'master' of git@github.com:cwi-swat/rascal.git