add support for new value selectors on IntVars
introduce brancher handles
added RBS support; simplified search code
some shifting around