Fixes #1125, no references to @type should be in the docs

Because @type is still in draft and not in use it should still be
avoided due to naming concerns.