better ensugaring for types (Placeholder and ApplyInfix still not supported)