This module implements the desugaring pass which reapplies binary operators based on their fixity data and removes explicit parentheses.

The value parser ignores fixity data when parsing binary operator applications, so it is necessary to reorder them here.