added test cases for type checks