simplify the show style of A.Pos
add checkdup to transTy for A.RecordTy.
modify transTy: 1st pass and 2nd pass with updating.
additional test cases for chap5.