Infix phase using generic traversal compiles
Progress on infix phase
Added more metadata to unique names
Moved the next unique into a universal state
Sketched out the core alg for infix phase