propeller-predefined-types