(mlets x = T: P) (P mlets x = T)
let(x = T: A)
Semantics of P in an extension of the given assignment with x mapped to value of T.