An index that maps keys `K` to offsets `Address`. The keys cannot be duplicated. The construction checks if the keys are ordered (using the provided or the default comparer for `K`) and disallows certain operations on unordered indices.