LetExp([
 TypeDec[
  (rectype1,
   RecordTy[
    (name,false,string),
    (id,false,int)]),
  (rectype2,
   RecordTy[
    (name,false,string),
    (id,false,int)])],
 VarDec(rec1,false,SOME(rectype1),
  RecordExp(rectype2,[
   (name,
    StringExp("Name")),
   (id,
    IntExp(0))]))],
 VarExp(
  SimpleVar(rec1)))