Corrected the documentation about IF_LEFT, IF_CONS, IF_NONE, ...
This fixes the documentation issue outlined in #471 (closed) by changing the IF_LEFT, IF_RIGHT, IF_CONS, IF_NONE and IF_SOME typing specification to be coherent with the implementation.