Pair, Triple classes introduced (plus corresponding changes in ProofGenerators and ElGamal)