Add link to the syntax of the @-reader.

Also defines the "@-form" term in the @-syntax section due to its
frequency.

Closes PR-12589.