Consider enriching type index with schema-based inferences

[FabienGandon]

We could consider enriching type indexes with schema-based inferences including for instance : add super-classes of mentioned classes, add equivalent classes, etc.

This could be materialized by an agent external to the POD that could be the indexer agent or another.

[lecoqlibre]

• with inference, the index will be "complete" but its size will increase.
• without inference an index could be incomplete and if so the client process time will increase.

A ctc standard could enforce clients to resolve all the inferences in indexes. Clients would do this by themselves or with an agent.

For large scale, if the index contains inferences, it could be spitted into smaller pieces to reduce loading times.