fix MentalStateFactory usage (always use the one for the current KR) +
update some exception handling (and some other small things)