Describe the bug
If the type system contains a recursive type definition or a type that uses a type defined later in the embedded type system as a feature range, then that type will not be found during parsing.
Expected behavior
We need some kind of two-pass parsing or lazy instantiation here to work around the problem that a type can be used as a feature range even before the type has been defined or that a type can be used as a feature range of one of its own features etc.
Describe the bug If the type system contains a recursive type definition or a type that uses a type defined later in the embedded type system as a feature range, then that type will not be found during parsing.
Expected behavior We need some kind of two-pass parsing or lazy instantiation here to work around the problem that a type can be used as a feature range even before the type has been defined or that a type can be used as a feature range of one of its own features etc.
Please complete the following information: