New command HB.saturate_instances

[gares]

• command HB.saturate_instances to be declared in structures.v
  • calls the API to retrieve types T in Retrieve types with CS instances from Db #336 and calls APIs from instance.elpi to declare new instances instance.declare-all T {findall-classes} _ for each T