Fixed semantics of `txConstrainEqualTypes`.