Instance refactor, added TermIndexAtom to Instance