This adds an RA
max_listR for lists where composition is only valid if one list is a prefix of the other, a derived RA
auth that only allows lists to grow by appending, and a set of logic-level assertions for
The logic-level assertions are:
This, to my understanding after some inspection, should support the needs of the various versions mentioned in #391.