To fix issue #6874: updated the manual to reflect some subtleties
about type declarations and assertions with `::`.
Merge pull request #6888 from mauro3/type_doc

To fix issue #6874: update of manual section on Types