Support row instantiation through a match pattern
Infer polymorphic row constraints