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

Updated the manual to reflect some subtleties about type declarations and assertions with `::`.