On Generalized Constrained Optimization and Separation Theorems