# Add optional parameter to the tally function to specify the order to use

It could be useful to be able to specify to the tally function which order to use on the type variables, as this order will determine which variables will be expressed as a function of the others (and which ones will remain unchanged). This order should probably be given as a list of type variables in increasing order. Type variables that do not appear in this list should be considered greater (I think?? or maybe smaller) that all the variables present in the list, so that if we give as order to the tally function the list of our monomophic variables in the context of an inference, then these variables will remain unchanged whenever possible (and variables not present in this list will be expressed in function of our monomorphic variables, except when it is not possible, in which case a monomorphic variable will not remain unchanged).