Generalization of Decidable
general axioms for Preorders and Posets
instance for less-than-equal on Nat
Merge branch 'DecidableOrder' of https://github.com/JanBessai/Idris-dev into JanBessai-DecidableOrder
Add Decidable.Decidable and Decidable.Order to base.ipkg