Clean up runTraceT; add main example