Added mkAbs, #> and some cleanup
Now treating single item products correctly
Added two tree types to example