HomeIsabelle/Phabricator

clarified modules: global quasi-scope for markers;