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