add back union in binarytrees

[KristofferC]

[KristofferC]

There's been a discussion that the current one is not allowed so add back this one which is faster than the slow one but doesn't include an "arena".

All of this is pretty silly...