Completely rewritten idempotent trace implementation.  Includes handler pools and freezing.  Deforested (Trace is no longer an ADT).