Some top test, probably others are needed
Comparison corrections
Merge branch 'chambart'
More ident names in tlambda, no module printing in tml