Parse parse parse
Parse type expressions
Further parsing
Finish parser