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