Superconductivity in correlated systems: Constraint quantization of slave bosons