added example of addition of integers as pairs of nats, with proofs of left, right id and associativity.
	modified:   ../../HeterogeneousEquality.agda
	modified:   ../Quotients.agda
	new file:   Examples.agda