Prettier printing for infix operator definitions
Simplify code to check for structural errors