Fix in the type reifier of the Rascal interpreter.
Fix in the Types.symbolToType of the compiler.