LetExp([
 TypeDec[
  (nametype,
   NameTy(string))],
 VarDec(rec1,true,SOME(nametype),
  StringExp("Nobody"))],
 SeqExp[
  AssignExp(
   FieldVar(
    SimpleVar(rec1),
    name),
   StringExp("Somebody")),
  VarExp(
   SimpleVar(rec1))])