desugar type bindings