Desires are now beliefs too.
Tiny refactorings.
A much bigger refactoring: introduce the BeliefSet class.