Is it ideal to define union types to handle variations in syntax for a compiler?

Question

Building off of this question, I am wondering now how to handle "intermediate types" when doing transformation steps during compilation.

Say you have a clas