Layed the ground work for automatic instantiation of generic definitions and theorems
o the tests are failing
in theories, axioms and declarations are now instantiated automatically