merged new version from dev: common term representation
and separation into sub-libraries
Bugfix
perf: use a bool array for precedence completion
removed "extended" library and fixed some build issues
Merge branch 'master' into dev