extract added to Compound (replaces getRange for Tuples)
Preparation for making ZStarModPrime an instance of MultiplicativeCyclicGroup