WP/WLP-style signatures in prims; desugared into monad lattice