Documentation: function vs operator #61

It would be most helpful if the documentation at http://www.minizinc.org/2.0/doc-lib/doc.html was able to distinguish between functions to be used in functional style, i.e., "funcname(arg1, arg2)", and functions to be used as infix operators, i.e., "arg1 opname arg2". Although this might not be so important for symbols such as + or *, it is quite important to be able to use correctly the "subset" function/operator for instance.

Thanks