WIP: working out how to add a new type NegatedIndex