At the moment this gives a runtime error: ``` int[][] x = [1] io.jactl.runtime.RuntimeError: Cannot cast from int to int[] @ line 1, column 13 int[][] x = [1] ^ ``` We should be able to detect this at compile time instead.