That sounds more powerful than Lion Kimbro's version (https://users.speakeasy.net/~lion/nb/book.pdf). You should document it!