New operators

[vprevosto]

• Should we propose a specific syntax for \abs and \power?
• In a similar vein, would it be possible to allow the definition of custom binary operator (e.g. with the same conventions as OCaml, i.e. logic real (^^^)(real x, real y) = \power(x,y); )