licenses: convert license tags to SPDX

Removes all trailing whitespaces

sep_algebra: cleanup

- fixed legacy warnings
- fixed almost all other warnings as well
- clarified some monoid lemmas that had misleading mixed notation
- improved layout style compliance (seriously, people..)
- comment typo fixes etc

Import release snapshot.