Cleaning up uses of `\langle ... \rangle`, `\{...\}` and `|`.

Also pointlessly changed some `\cref` to `\autoref`.