set codomain to None by default instead of tuple()
remove Domain, Codomain and Mapping
Remove dependency between Arrow and Morphism, now decorator name is 'morphism'