Pending Projects and Estimated Completion reduceAsNonterminal reduction methods so grammars can specify strongly-typed nonterminal mappings -- Jan. 2017 version 1.1 Downward-flowing information during labeling to avoid unproductive predicates -- May. 2017 version 1.2