-remove mismatch impl from equal_by_mismatch.c
-remove typedef keyword from func definitions in header files
try to verificate equal using a recursive loop annotation => does not work because verifast doesnt support return statements in this context
fist (uncompleted) try to verificate copy
add todo comment, include arrays.gh