Abstract syntax trees (ASTs).
The values of the fixtype file and of its (recursively) constituent fixtypes, which define the abstract syntax of Leo are tree-like structures.
These are the Leo ASTs. These are abstractions of the Leo CSTs, according to the syntax abstraction mapping.