Class DiffMapping: renamed (domain1, domain2) to (domain, codomain)