imp: item->expr, Item(...) -> Sx(...)
imp: broke top part into sections, renamed Sym()->Key()
imp: factored out a new section for cons cells, renamed the array from cels->cells
imp: added meta-function section and jmc's elementary meta functions
imp: reified the two elemental predicates