LetExp([
 TypeDec[
  (a,
   ArrayTy(int)),
  (b,
   NameTy(a))],
 VarDec(arr1,false,NONE,
  ArrayExp(bats,
   IntExp(1),
   IntExp(1)))],
 VarExp(
  SimpleVar(arr1)))