Show argument names in :doc, and don't show undocumented args

Now, :doc will show the names of any documented arguments, even if they
are not used in the body.

Fixes #1000.

Also, unnamed and undocumented arguments are not listed with their types, as this is already visible in the displayed typed signature.