Sobolev, BV, Compactness, and Trace Theory over Sigma-Time Measures | Synapse