ambages.selectors
Selectors and constructor functions (which are only there for readability) built from CARs, CDRs and CONSes.
molec
(molec x y)
constructor: a `molec` is a tuple of (level,prolog_exp), where level is used to discriminate variables at different levels in the proof tree.