HomeIsabelle/Phabricator

Add further operations at the pre-assembler level.