HomeIsabelle/Phabricator

streamlined simpset building, avoiding duplicated rewrite rules