Fix spelling error.
Rename {Mapping}->{FiniteDomainMapping}.
Fix missed rename.
Move finite domain map logic into Mapping.
Refactor finite domain mapping.
Fix typo.
Add mapping between finite domain and integers.