move configVarSorts from Context to Definition