Tests rely on refcounting / GC semantics for Axiom type definitions

[Tristan Seligmann]

It appears that the only real reason the asserted behaviour is necessary is for testing purposes; supporting this in application code is undesirable (and the application code is unlikely to function correctly for other reasons). So instead, we adjust the one test that relies on this to explicitly remove the schema from the cache, and remove the other tests.