I see types everywhere; they appear to just have been moved from the left-hand side to the right-hand side? eg:

  var i0 = $(Int, 5);
  var items = new(Array, Int, i0, i1, i2);