HomeIsabelle/Phabricator

more default simp rules