added bound test to Context
all Expr classes: added _bound versions of to_string and to_simple
removed the tracing operators again
replaced to_string by the _bound version in many places