Removed translation of non-wellformed Rascal types; added 'rat' case.
Added the case of a reified type.