change to ContT (currently broken)
(not-quite working) main program
add comment
Merge branch 'usable-rules' of github.com:apunktbau/co4 into usable-rules
adapt to tpdb-0.9.1
rewrite main prog (use getC/withC) (but still broken)
prepare for introducing logicT
remove dependency on backtrack monad from MB/Arctic
use LogicT monad
remove transformer dep
Merge branch 'usable-rules' of https://github.com/jwaldmann/co4 into usable-rules
main program calls semantic labeling