logic to insert in a 2-3 tree; some nice deep sum constructors