Belief/learning updates, and GUI compilation fixes