Modernize type annotations to use | instead of typing.Optional and typing.Union, etc.

I also tried modernize the doc build to use documenteer[guide] in ts_utils. This is an experiment to try out the modern documenteer that can generate type information for parameters (but not yet return values) from type annotations. That is on tag "documenteer-guide" but we decided not to include it in this ticket.