Parse infix constructors, add a test and fix Ratio pretty printing