Added Heuristic.implies() method and rewrote
Heuristic.learn_term_comparison to be much slicker and faster. There may
still be edge case bugs.