structure Integers = Integers(IntInf);

structure Rationals = Rationals(Integers);

structure IntegersMod7 = IntegersMod(val p = 7);