Fixtype of Leo console calls.
This is a tagged union type, introduced by fty::deftagsum.
These are a kind of statements (see statement).
There is an assertion call that takes an expression as argument.
There are two calls (for errors and logging) that take a string (literal) and zero or more expressions as arguments.