Operators and their Built-in Predicates

• ref-syn-ops-ove: Overview
• ref-syn-ops-ops: Manipulating and Inspecting Operators
• ref-syn-ops-res: Syntax Restrictions
• ref-syn-ops-bop: Built-in Operators