Simultaneous Quantization and Reduction of Constrained Systems | Synapse