Replacing Op with the more general Apply
Adding Dot.
Fixing bad Cxt checkin.
Adding pretty printer for Dot, and starting to use it.
Refactoring compiler optimizer