transactionally-predicated sets and maps

[nbronson]

Good implementations of TSet and TMap should be chosen and moved from the experimental.impl area into the main src.

[nbronson]

6989aaf includes a basic TMap implementation (pred-rc-enum).