xnning/Row-and-Bounded-via-Disjoint

Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.

Coq