[e-lang] Policy as types

[Mike Stay]

Greg Meredith, Sophia Drossopoulou, and I have written a paper that
grew out of discussions with Mark Miller and James Noble.