Library Support

• library(occurs)
• library(subsumes)
• library(samsort)

Regarding list-processing: lib-lis