Fixtype of plaintext types.
This is a tagged union type, introduced by fty::deftagsum.
These are all the possible types of literals.
