HomeIsabelle/Phabricator

more standard treatment of morphism context;