Improved predefined types