ConicProblem now enforces that every variable is in exactly one cone