More `IntoSep` and `IntoAnd` instances.

For better support for eliminating affine/absorbing separating
conjunctions in the persistent context/under a plainness/persistence
modality.
2 jobs for gen_proofmode in 10 minutes and 40 seconds (queued for 3 seconds)