refactor MentalStateFactory to register (and thus also fetch) by
KRInterface.class instead of a random name