Initial Testing for type Checking(Commented the Logical Operation Stuff)