Fixed inheritance of mapping.IndexOptions objects

`mapping.IndexOptions` is `sealed abstract` so only usable _via_ its object instances, yet those extend `TemVector` instead, I guess from an unfinished copy-paste.