Mappings [HB 13]

New features:

• The syntax of the generic-image map constructor has been extended so that a user may now specify both a map and its inverse. The new syntax is:
  
  $${\rm map}<A -> B \vert x :-> f(x), y :-> g(y) >$$
  
  
  where g(y) is the inverse map of f(x).