(msos IDENTIFIERS is
 Id .
 Denotable .
 Env = (Id, Denotable) Map .
 Denotable ::= Int .
 Exp ::= let Id = Int in Exp end
       | Id .
 Label = { env : Env, ... } .

    Denotable := Int,  Env' := (Id |-> Denotable) / Env,
                       Exp -{env = Env', ...}-> Exp'
 -- ------------------------------------------------------
 (let Id = Int in Exp end) : Exp -{env = Env, ...}-> 
   (let Id = Int in Exp' end) .

 (let Id = Int in Int' end) : Exp --> Int' .

    Denotable := Int, Denotable := lookup (Id, Env)
 -- -------------------------------------------------
			Id : Exp -{env = Env,-}-> Int .
sosm)