Fix negated wording in reference

This appears to be the actual behavior and is consistent
with `defform` and other forms
Fix typo
Improve error message for misuse of type names

Closes PR 13289