Add a coercion optimiser, to reduce the size of coercion terms