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