The permissions system for functions looks really neat. Lately my favorite features in a language are the ones that allow you to narrow down a function's contract with the calling code in interesting ways (in fact I'm working on one right now that's built around this idea)