sync
Merge branch 'wip-release' of github.com:stanford-ppl/hyperdsl into wip-release