Correcting type inference for infix application. Adding a debugging unifier.