Merge branch 'robbert/seal' into 'master'

Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`.

See merge request !793
3 jobs for master in 9 minutes and 6 seconds (queued for 2 seconds)