정규 타입 통일 알고리즘

정규 타입으로 설명되는 의미 영역에서 용어를 통일하는 새로운 알고리즘을 정의한다.