Implement filtered collections of terminal/nonterminal nodes#709

tturocy merged 2 commits intomastergambitproject/gambit:masterfrom

dev_terminalgambitproject/gambit:dev_terminalCopy head branch name to clipboard