Infix ops

[StrongerXi]

let (-) x y = y - x
and (+) = 42
;;
(+) - 0 (* yields -42 *)

How cool is that. For permitted symbols for infix ops, their associativity and precedence, I just used OCaml's parser implementation as the standards.