further renaming (still incomplete)
fix names in implementation of peek
fix: Value -> value in proof script
fix names and proof in PeekThenPoke
fix names in PokeThenPeek
format