add Univ.v#67

fblanqui merged 5 commits into

Deducteam:masterDeducteam/lambdapi-stdlib:masterfrom

fblanqui:univfblanqui/lambdapi-stdlib:univCopy head branch name to clipboard