add copy example
Merge branch 'master' into copy
put copy example in separate dir
simplify Makefile
add modified files for Z data type
start with proof
add lemma for equality of Z (equivalence relation)
try proof
finish outline of proof
try to tackle missing subproofs
add moe proof attempts
rename lemma