6.2.2 데이터 타입(Types) 정의와 엄격함의 정도