Minor fix in the translation of Rascal types.
Translation of the reifytype expressions is in the pipeline. Still need
to add non-terminal types.
Fixes in the type checker to produce string names without "\\".
Merge branch 'master' of https://github.com/cwi-swat/rascal.git