Synthetic Spectra via a Monadic and Comonadic Modality