Implementation of defsurj.
We implement defsurj as a thin wrapper of defmapping. We also provide a programmatic interface to retrieve surjective mappings from the defmapping table.
