Generalize tests to work with different index types

[jeltsch]

Currently, the tests that directly or indirectly involve indexes use fixed index types. We shall generalize them to work with different index types to the extend feasible. Generalization shall be done by making IndexType an instance of Arbitrary and making the properties in question parametric in the type of index.