Fix https://github.com/julianhyde/optiq/issues/148, "Less verbose description of collation". Also, optimize RelTraitSet creation and amortize RelTraitSet.toString().