Backend compiler for high-level typed code with first-class support for multi-dimensional arrays, objects and complex numbers.