[Parser] Checkpointing [Typedef loading works, need to fix printing, need to tag typedef expNodes]