defaultNOptions dotifyNarrowingTree imNStrategy lazyNStrategy loNStrategy narrowBy narrowByL narrowingBy narrowingByL narrowingTreeBy narrowingTreeByL normalize omNStrategy rStrategy showNarrowing solveEq solveEqL stdNStrategy wnNStrategy writeNarrowingTree