Fix a bug that caused the incorrect type-checker order to be deduced.

The free vars of a field such as ?p:e are the union of the free vars of
p and e.