updated kr/languageTools dependencies, created TypedSWIPrologDatabase,
and implemented all required functions in SwiPrologMentalState using
that database