typo.
add [TL.Exp] and [Frag] to the transDec interface.
transDec for VarDec
transDec for FuncDec (returns frags)
trexp for LetExp.