Made term_walker_t::bt be const.
Pushed protob_t (was counted_term_t) through to a bunch of places.