신슨형의 정상화
데이터 타입 및 연산