type int4 = 1..4;
type odd4 = {1, 3};

