Get rid of `later_proper'`

See the discussion in !81 (merged).

We do not have such lemmas for the other connectives, and the naming scheme is inconsistent with the _mono lemmas.