Pre: adding predefined types