Fixed width SExt and ZExt
More informative case failure errors, cleanup
StrCons and conversions to Integer
Fix buffer overflow and 64-bit int toStr truncation
Expand value flag to 32 bits to prevent confusion with defunctionalization constructors >= 65791