Tue Dec 6 17:47:02 EST 2011


What's next?

* The app/lam class might be useful but I don't see it as a pressing
  point right now.  It's not in the way.  Higher orders can easily be
  added in an explicit way.

* Merge SM and the recent Cons/Atom structs.  This still needs some

* Arrays: in Value, fold an SM over a STUArray.

* Use the same for generating C code.