Extracted the PositionAndOccurrenceVisitor.
Added goal predicates to TermWalker, for selective search of a term tree.
Working towards getting conjunction and disjunction working.