Find out where I left off. I believe this was mostly about the core
language. It has lambda. Is that really necessary?
It seems all so complex...
Maybe it's best to stick to a model of RAI using the Sys approach.
Also to decouple all those things..