Gets very close to what is needed for property Jacobian

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

* A fully encapsulated library wrapper with C++ interface

* Refactor types.hpp to hide the big headers in a macro conditional section