Modularize belief update

Belief update strategies are moved into an inheritance hierarchy with an
interface available for the solver to use.