types are parsed correctly, next step is emitting type IR