Moved term_walker_t implementation to term_walker.cc.