Fix DocCheck.jl

@jiahao these fixes were simple enough, but I don't see any undocumented functions, which makes me worry.  Is that actually correct?
I think you forgot to rename `argtyp_decl_string` below.