Introduce PragmaType, and import errors
Finalize pragma type