LetExp([
 TypeDec[
  (arrtype,
   ArrayTy(string))],
 VarDec(arr,false,SOME(arrtype),
  ArrayExp(arrtype,
   IntExp(10),
   IntExp(0)))],
 VarExp(
  SimpleVar(arr)))