HomeIsabelle/Phabricator

Remove some redundant typedefs.