Primitives

RL admits some special terms that receive special treatment.

Every term has an associated type. This potentially infinite regress is broken by the special term ^ROOT, which is the root of the type system and is its own type.

There is a special term ANY that, as a pattern, matches any subject. There is also a term NONE that, as a pattern, does not match any subject. We can summarize this as follows, where t and u are arbitrary terms that are not NONE or ANY.