Refactor Signatures and from_func to create new from args and keywords
[initial import] import Morphism and Mappings (domain, codomain, arrow) from another project
replace symbol * by <<