Variable bindings. Documentation to help navigate code.

It's now possible to traverse multiple levels of arrays.
New fresh variable names will be introduced on each level.
Full type-safety. No formats mismatch!