Converted Preorder and Poset to typeclasses
Added always/Given as a non boolean equivalent for oh/so
Merge pull request #282 from JanBessai/DecidableOrder

Oh/So equivalent for Decidable and Preset, Poset as typeclasses