Abstract syntax of Syntheto.
We formalize the abstract syntax of the language via recursive fixtypes, as commonly done.
This is just for an initial version of the language, which is expected to be extended and improved over time.