It is straightforward to create a language where a user can specify any type of index (like Ada), if you need to import a library everywhere to have the correct

It is straightforward to create a language where a user can specify any type of index (like Ada), if you need to import a library everywhere to have the correct behaviour then this library should be a part of the language instead.