Function Maybe-Add-Tree

Part of:

package asdf
( maybe-add-tree < tree > < op1 > < op2 > < c > )

Add the node C at /OP1/OP2 in TREE, unless it's there already.
Returns the new tree (which probably shares structure with the old one)