defined a sorting order over ClifModules