updated coq files to account for changes in UniMath