The Phase Space Tomographic Propagator and an Exploration of the Properties of 4D Optical Coherence Functions