structure Rationals = Rationals(IntInf);
structure Integers = Integers(IntInf);

structure IntegersMod7 = IntegersMod(val p = 7);