let
bind x v sigma = { sigma
with
var =
Vmap
.add x v sigma.var }