Grammatical Framework core: compiler, shell & runtimes
