Another feature of the existing RMRS literature is that each term of an RMRS is equipped with a sort.
individual variables x, event variables e and holes h are arranged together with their subsorts (e.g., e past ) and supersorts (e.g., sort i abstracts over x and e) into a sort hierarchy S. For simplicity we defined RMRS without sorts, but it is straightforward to add them.