ListExamples: small changes to the way the proofs are done
DeltaGroupoid: prove more theorems about Change