indexing: progress on making indexing work for SIMPLE
indexing: all examples in untyped SIMPLE can now run with indexing
indexing: fixed bugs and got all of SIMPLE to work with indexing
indexing: minor fix
indexing: progess on making indexing work for KOOL
indexing: most KOOL examples can run with indexing now
indexing: minor changes
indexing: started tuning indexing algorithms and fixing bugs
indexing: collecting timing information while rewriting and
printing them only at the end, if turned on
indexing: updating definition
PDMC: Towards generating witness.
fixed NPE in assertion
Merge remote-tracking branch 'origin/master' into unified-builtins2