Fix branding problem with bool contracts in desugar