ruby --> Ruby
Clarify why two thunks are needed

Dima wrote:

> Page 10: I didn't quite get this part "This would be worse in fact,
> because it would then actually require to create two thunks instead. One
> for (x + y) and one for ((x + y) + x)." Where does ((x + y) + x) come
> from?
Feedback for background
Feedback on related work
Feedback on "the execution stack"
More feedback from Dima

(and some other stuff)