Added type checking test.