Provide memory space for type system