s/PrAll/Everything/, s/PrNone/Nothing/, s/PrX/X, s/PoY/Y.
Merge branch 'master' of https://github.com/frenetic-lang/frenetic