Fascinating abstract.  I think I may have accidentally downvoted your comment though, when I meant to upvote (on a phone).<p>I downloaded the PDF; hopefully I can find time to read it eventually.  There are some gaps between the layers of abstraction presented in this abstract that I hope would be addressed by the full paper.