[naasking]

The code looks nice and straightforward, and kudos on actually producing a typed language. IMO, there's too little of that these days.

Too bad you didn't get around to implementing context threading, because I would have liked to see a clean and portable implementation, particularly if you had also planned to support TCO. Is the design you had planned documented anywhere?