make recordExp and arrayExp consistent.
trexp for A.CallExp
imported from chap6/
almost written.