allow Prolog file imports (knowledge bases) at the same level as module
imports (breaking grammar change!) + improve recognitionerror handling +
fix for mood operators (always trim kr blocks, e.g. remove
leading/trailing whitespace)
TODO: knowledge/beliefs are stored per-module know (no longer seems
global, at least at parse/validation time)