Introduce `RelDecision` for decidable relations and define `EqDecision` using it.

This allows for more control over `Hint Mode`.
4 jobs for master in 4 minutes (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #3476
fp-timing
stdpp-coq8.6

00:01:49

passed #3475
fp-timing
stdpp-coq8.6.1

00:02:50

passed #3474
fp-timing
stdpp-coq8.7

00:01:55

 
  Opam
passed #3477
opam

00:00:13