add [frags] to in/out of transExp and transDec.
trexp for ArrayExp and TL.callExp.