Describe Lists and Compaction

[azaroth42]

Including lists of lists.

(From call on 2020-02-14)

[ajs6f]

Is this distinct from #20?

[azaroth42]

I think #20 is /without/ using rdf:List (and friends). This one was about using rdf:List and gotchas like not asserting more information about the head node of the list, but instead wrapping it in another node.