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 work. * Arrays: in Value, fold an SM over a STUArray. * Use the same for generating C code.