It should be possible to put a `PrimitiveType` in the symbol table without wrapping it in a `UserDefinedType`. `UserDefinedType`s should be reserved for actual types created by the user.