NestedDisjunctiveNormalFormTypes(Span(4, 10)) -> Parse Error: Nested disjunctive normal form types are not allowed on line 4 column 10
