LetExp([
 TypeDec[
  (arrtype,
   ArrayTy(int))],
 VarDec(arr1,false,SOME(arrtype),
  ArrayExp(nothing,
   IntExp(10),
   IntExp(0)))],
 VarExp(
  SimpleVar(arr1)))