committing data type checking updates