added a comparator class for comparing and sorting variables by means of a VariableOrdering
replaced old comparison possibility for VariableOrderings by new one