new modular address generators (WIP); SIPDA allocates benvs using fun
node instead of app node (moving towards more classic k-CFA)
moved GC (only on eval) inside CESK, removed GC from pushdown
reorg: grouping related objects around CESK (ag, benv, parts of
lattice);
addid lcipda (WIP)