allow trace when evaluating types; partly fix red black tree