Add a Data.Bool.Core module and use when possible