Trace doc - no examples

The Clozure CL documentation of the TRACE extensions could stand to 
include some examples. 
Inferring the syntax from the informal grammar is doable but time-consuming.