refactor the python theory* classes to use the c interface
refactor the python theory* classes to use the c interface

potassco/clingo,potassco/clingo,peschue/clingo,potassco/clingo,potassco/clingo,peschue/clingo,peschue/clingo,peschue/clingo