HomeIsabelle/Phabricator

Fixes, mainly with structs.