Yeah, I guess we will only use it to call the Expander.
Speaking about the Expander, the idea was to enclose all methods related to the expander (splitting the names / symbols / Types + simplifying the ASTs) into the RelationExpander class (which could perhaps be an object instead).

We will probably get rid of the Traverser to put all the sub-phases call inside the newPhase method.