Doc and tests for structural equality