This appears to be a repost, we had a nice discussion of this work on Oberon yesterday: https://news.ycombinator.com/item?id=6829464