checkpointing expression based type ref parser (pre cleanup and loc add)
dead code removal