Add header with IR types and support typedefs and parameterized types