Attic-enabled recurse down: tested, corrected another bug in union.