Update the documentation of types and attributes

Documented the new substring extraction functionality.
Clarified the description of "&priority" and "void".
Also fixed various typos.