Types can be defined from other types using type declarations: type x = integer; y = x; ...
형(type)은 선언을 통해 다른 형으로부터 정의될 수 있다: type x = Integer; y = x; ...