Sun Jun 2 16:00:24 EDT 2019

partial application of grids / grids as finite functions

This seems to be the important idea to be able to manage nesting.

1. Nesting is necesary due to loops

2. That then reflectis to the data type as well.

So the basic language is a typed lambda calculus where abstraction is
array construction, and application is array reference.