Type Checking except assignments