Infer more canonical arguments, making canonical terms smaller.