GitLab

Now we use a specific notation (⊑) to whose arguments we interpret
in uPred_scope. This makes notations much more concise.