Moved type checking to generated code
Update
Facilitate type checking before altering data structures
Update
Version bump