Update naming for examples for non infix syntax: ==>> -> IMap

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