HomeIsabelle/Phabricator

prefer typed/strict operations;