Subtract termsize from coercion cost to favour detailed right hand sides