To improve synthesis area and delay results, we:

1. Lower arithmetic comb operators to datapath operators,
2. Perform datapath canonicalizations (greedily fusing datapath operators)
3. Lower datapath operators to the gate-level subset of comb, that also includes two-input adders.

Datapath optimisations are enabled by default with a flag to disable datapath optimisations when required.