Tue Dec 2 16:25:40 EST 2014

Big problem?

So to keep this realistic: how to fix this without doing a full
rewrite?  The only thing that needs to be figured out is how to type a

More precisely: the explicit types are available.  The question is:
which storage dimensions can be optimized?

E.g. giv a node type   (a b Int)

Which one of the the dimensions can be condensed?

none: (a b Int)
b:    (a Int)
a:    (b Int)
both: Int

The problem is that loop transformations can influence this.

E.g. loop merging.