컴파일러의 논리적 단계 중 자료형 검사(Type Checking)를 수행하는 단계는?