Starting to use generic traversal for infix
Added context-tracking to generic traversal
Made the parser purely applicative