HomeIsabelle/Phabricator

Fix incomplete changes to type constraints.