Added the trace-diagram module to the project, with the new ability to pass shadow traces in from outside.