PROBCORE-498 Working on Theory support. Tested use of Theories by loading and animating a model.
Reexport all packages so that the Rodin plugin works