Make type-tidying work for coercion variables