[#190] Update the documentation on the operators.

The documentation on the operators is rewritten for being more clear on
that are the available operators (and the associated semantic), and that
are the not yet implemented operators.