(j3.2006) more on J32031 equivalence of circular types

[Michael Ingrassia]

Here's a new test case, somewhat simpler than the one in the public comment. 
Section 4.5.1.3 doesn't seem to determine whether or not A and B have the same type,
so I don't follow the claim in our response that the definition in paragraph 2
is unambiguous.

        MODULE FOO
	TYPE T
	   SEQUENCE
	   TYPE(T), POINTER :: NEXT => NULL()
        END TYPE T
        TYPE(T) :: A
        END MODULE FOO

        MODULE BAR
        TYPE T
	   SEQUENCE
	   TYPE(T), POINTER :: NEXT => NULL()
        END TYPE T
        TYPE(T) :: B
        END MODULE BAR

        USE FOO, ONLY : A
        USE BAR, ONLY : B

	! Do A and B have the same type ?
	A = B
	END


	--Michael I.