FYI, there is currently ongoing work on HTDP2 -> http://www.ccs.neu.edu/home/matthias/HtDP2e/