Mon Oct 17 13:47:32 EDT 2011

Adding load/store

So, I have a syntactic representation TermFun which has inputs,
outputs and internal bindings (outputs are varrefs into internal

Next step: add load/store.  These seem to be the issues:

  - Binding is not dereference: make load/store explicit.

  - Loop variables are special.  They resemble store but are also read
    from.  This is phi in SSA.

Since I'm generating C it might not be necessary to use SSA until
there are arbitrary control flow paths.  For now it's really quite
limited: iterate a function, feed back its state.