Fix dual_type to produce a more canonical result.