Added a lot of small stuff, and some thoughts about how trace generation may be achieved.