Wrap arguments metadata for documentation in more complex types (relates #757)

[udoprog]

This is a tricky bit that should clarify what is needed to implement #757.

Instead of having metadata spread over disparate fields, they're now unified in a handful of concise types that needs to be implemented and used when generating documentation.