TYPE
O = INT | O;
Z = INT-list;
X = bool | INT;
Y = INT | STR | Z;
ENDTYPE