It’s well known that there is a trade-off in language and systems design between expressiveness and analyzability. That is, the more expressive …