Sun Aug 21 20:25:42 CEST 2011
So what's next? Looks like this is a fairly complete system.
I'm a bit tired ATM; I don't really see what's next very clearly.
Maybe this should just be merged with some abstract eval or LLVM