No longer make slice_name type classes opaque.

We need instances like EqDecision and Countable for it. We could
redeclare those instead, though.
1 job for master in 9 minutes and 57 seconds
Status Job ID Name Coverage
  Test
passed buildjob #1352
coq

00:09:57