Update docs to use call syntax
Don't export run anymore
Inline the morphism chaining combinator
Formatting
Elaborate on the motivation for Morphism
Remove unnecessary lifetime bounds
Support type hints for new; make codomain optional
Update the identity morphism example using new
Add test for using Morphism where Fn is expected
Add synopsis and example of using Morphism as Fn