Updating: supporting s2zexp_typize
Updating: allowing data constructors to omit type arguments