Make Decidable.Decidable and Decidable.Order available with a little fix