Class for decidable strict orders added + implementation of comparison functions