3.6Extending the Language

Some libraries in this package support extending the language. The notions of expression,
statement, expression list, and statement list can be extended by adding custom predicates
to the following parameters: