GitLab

- No more "and", "or", "implies", "iff", and "~".
  Use "/\", "\/", "->", "<->", and "not" instead.

- No more "logic". Use "function" or "predicate".

experimental distance of terms dropped

in particular, there is no more need to define intermediate
sorts or to close the set of protected types wrt subtyping