unitests now expec GHC.Types.True rather than GHC.Bool.True
removed references to GHC.Bool