Rename `wand_impl_plainly` → `impl_wand_plainly` and swap direction.

To be consistent with the lemma for the persistence modality.
5 jobs for master in 7 minutes and 3 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #6152
fp-timing
build-coq.8.6.1

00:03:47

passed #6151
fp-timing
build-coq.8.7.0

00:03:35

 
  Deploy
passed #6153
opam

00:00:14

passed #6154
reverse-deps

00:00:13

 
  Build More
passed #6155
fp-timing
build-coq.8.7.dev

00:02:59