Added documentation to `map`.

The `map` function, although implemented in `ISet`, does not mean that
`ISet` is a `Functor` instance. It does not implement the required
composition law - due to the restrictions required on the `Order`
instances.

Signed-off-by: Gary Pamparà <gpampara@gmail.com>