Gautschi-type and implicit–explicit integrators for constrained wave equations | Synapse