Global array for caching the names of the operators used in MobilityDB to avoid (slow) lookups.
The array is initialized at the loading of the extension.