org.combinators.cls.types
A type is organized iff it is syntactically identical to an intersection of paths.
A type is organized iff it is syntactically identical to an intersection of paths.