Type transformations for inferred types (Rep and NoRep DSLs)