-- System lambda-omega-l with subtyping and records -- Existential types and axioms for records. Path "../lol" Path "../lolplus" Load "lambdaLplus"