replace type of flag for first functions with
update coq proofs of Peek for new type of flag
add assertion for new return type of flag
update Poke and its Coq proofs for new type of flag
reorder targets