A language with polymorphic records and variants
See the test suite for things that it does.
A language with polymorphic records and variants, using HMF inference.