Define structural equality of types