generator: type mapping refinements