Andy, AH... this is a very interesting proposal/idea. and is part of the reason I began to post on the web starting on TAXACOM and BIOSPHERE DATA PROJECT but the proffesionals were still disputing about exhanging data/information freely which they still, ( I have not looked lately) refuse to do which is why I moved into the c/e format and "demand" such freedom of communication for me to continue with someone.
At this time I will only say that at one time George Cantor Thought that there could classes of real numbers that that have different internal orderings starting with A....he,Cantor...aphabetized the letter "L" but Dedekind kind of 'cut' this idea out in math saying that these reorderings of the reals were redundant and not useful. Now this may be true for the quantum theorist but for the taxonamist who wants to work in the electronic mode this "excess" coordinations is what is needed to get "grips" (software 'clamp') on biodiversity. There seems to have been no attempt in the confirmed nature of evol theory as to the axiomatic congrunece involved though I continue to work on this notion.