WIP
fixed some important hashCode/equals stuff; reusing HashMap in graph;
added some benchmarks; split off lcCeskNoAtom: lcCesk now evals
applications with evalAtomic where possible
major fix in memoization: cache and check against extended store!
branched off abstractmemo