The new type/size/signedness/constness to cast an expression to.
This is a tagged union type, introduced by deftagsum.