Abstractness token.
Generate existence and uniqueness conditions even for functions defined by equations.
Explicit parenthesis.
Prefix.
A new approach to generating the dependency table.