HomeIsabelle/Phabricator

introduce more sublocales, since these are useful for users of the framework