Additions to simple patricia tree theory.

* should now EVAL in good time
* union proved correct
* fold characterised a bit
* domain defined