assert (0):TYPE == INT;
assert [0, 1, 2]:TYPE == [3]INT;
assert [[0.0, 1.0], [2.0, 3.0]]:TYPE == [2][2]FLOAT;
assert (0):DIMS == 1;
assert ([0]:DIMS)[0] == 1;
assert ([[1, 2, 3], [4, 5, 6]]:DIMS)[0] == 2;
assert ([[1, 2, 3], [4, 5, 6]]:DIMS)[1] == 3;