Expert system of spartanization

[yossigil]

• [ ] Add metrics to wrings: how much did they improve on the following metrics we try to improve:
• total size: characters
• total size: tokens
• shortest first, some magic involving node count. Consult me for an exact mathematical definition.
• compression values (don't panic, this is not first in our list of priorities)
• [ ] Let the trimmer expand more options, not just the first, and add utilities to expand the breadth of tree of options.
• [ ] Add warnings, for example, if the two wrings consistently give the same result, or if a wring worsen one of the metrics we wish to optimize
• [ ] Most exciting of all: Explore the tree to find local and global minima, offer these to the user

[yossigil]

@dormaayan : this might be your answer to

what did you do last summer

[yossigil]

@OriRoth : I think you may take interest in this

[yossigil]

Let's discuss this on Sunday. It would be nice if your work could conclude with this one.

[yossigil]

On hold

[yossigil]

Related to #261