integrated agc into cesk
memo: narrow m (closures), r (addresses)
Arrays: removed eq param, performance improvements
pushdown: dE dH worker lists are updated through union