Closes #39 (doc comment verbatim sections take an optional verbatim type parameter).