Introduce PragmaType, and import errors