Doc & style tidy.

Made all preserved-final classes actually final.
Replaced all uses of typedef with type aliases.
Scattered noexcept liberally.