trans.icl: improving sjaaks changes that yielded revision 1.17
parse.icl: bugfix: The following program led into "could not determine the type of this record"

module t5

:: R1 = { f :: Int }
:: R2 = { f :: Int }
:: R3 = { g :: R1 }

g x = { x & g.R1.f = 1 }