Update documentation: Types, #include <>

Fixes #3624