Fixed translation of the reifytype in case of nonterminal types;
enabled by the extra grammar definition info provided now by the type
checker.
Added tests for the reifytype translation that use the Rascal grammar.