Fix docstring for checkdoc compliance.
Highlight "varid, varid :: Type" consistently with "varid :: Type"

Closes #405, thanks @ikirill
Mark '⧺' as having the symbol constituent syntax class

See #410.