Structure of disjunctive compilation now looks correct. Still a problem with put_struc elimination.
Corrected comment.
Added more specific toStrings to the built-ins.
Changed the built-in transform to make use of a BasePositionalVisitor as it already has the context change logic built in.
Moved symbol table keys into common class.
Moved the built in transform out to its own class.
Adding symbol table keys class.
Moved the top-level check out of the built-in transform visitor, as it will be done in a seperate pass.
Moved the top-level check into its own class. Disjunction tests now passing.
Removed debug print statement.
Added bracketed conjunction and disjunction test cases.
Fixed typo in test name.
Removed unneeded domain.
Added built in transform for nested conjunctions. Structure of compilation now looks correct, possibly just perm vars to sort out.