Type-level row projection

[SquidDev]

We may want to unify a row type { foo{%p} | %e } with some rigid row { |f }. However, this is not currently supported. Ideally we could have some type-level "row projection" operator, so unification yields a type like { foo{f.foo} | (f\foo) }.