finished type checker tests for if statement.