Python part still needs to be fixed, almost there, compiles in clang again

The key point is to speed up compilation, and make it easier to develop, by using the packaged C++ interface more extensively

Closing in

Everything seems pretty promising aside from the mutant, which requires additional thought. How can we store the mutant in AllowedModels