Arrow and Scope morphism from an object to its Basetype:
You can use this morphism in operator composites.
Inverse of this morphism is called boundtype.