Typechecker and Atomicchecker now support new IndexOp. Better function detection.
Removes some old commented code.