Types
Operators 'get'
Operators 'set'
Operators 'check'
Logical operators
Quantifiers
Block