red black tree with working add/show/fold/Eq/member