Got everything to type-check except for the tests.
Wrote convenience functions for running the supervisor in AllMode.
Working on fixing the types in tests.