rename instantiaded to any_instantiation_of, some bug fixes in describe