Add tests for type checking
Add tests for type checking

AndrewScheidecker/WebAssembly-spec,pjuftring/spec,pjuftring/spec,AndrewScheidecker/WebAssembly-spec,naturaltransformation/spec,naturaltransformation/spec