Make the Ord Module independent of Unique order