added single/double arrow classes, and Trace now has three different representations. Temporary examples added to GetTrace