incorrect for recursive tuples.  Tried to repair; seems to work OK, but
there are no checked-in tests for this yet.