Working on getting unique representatives of matchers based on "what they represent" and their depth in the pattern trie.  This will make :a->b  followed by :a->c properly remap to a->c with no ambiguity.