add modified files for Z data type
start with proof