Spectroscopic source redshifts and parameter constraints from weak lensing and the cosmic microwave background | Synapse