Formalization of Generalized Constraint Language: a Crucial Prelude to Computing with Words