added directory for type checking tests
added tests folder for type checking tests