WYRL: ok, minor tweak to documentation.
WYRL: more documentation tweaks.
WYRL: minor fix for equality of tuples.
WYRL: added yet another comment about tuple equality ... there's more to do there.