Fixtype of Syntheto literals.
This is a tagged union type, introduced by fty::deftagsum.
There are literals for all the primitive types.
We plan to restrict the characters usable in character and string literals and also to add certain escapes.
Note that integer literals are non-negative, for simplicity. One can use unary minus to negate an integer literal.