
Augmented point-free syntax for tracing - 
basically adds some tracing productions to 
wrap up point-free programs.

