introduce limit variable to hold hi.
.gitignore
Copied from chap4 and modified to add Pos to RecordTy
edited .gitignore
transTy
tarvar in transExp
trdec for VarDec.
rewrite fromList using foldl
trdec for A.FunctionDec
bugfix in transTy for A.RecordTy
written but doubtful: 3rd pass in the trdec.