Add a constant `tc_opaque` for type class opaque definitions.

4 jobs for master in 10 minutes and 2 seconds
Status Job ID Name Coverage
  Build
passed #3708
fp-timing
build-coq8.6

00:04:52

passed #3707
fp-timing
build-coq8.6.1

00:08:57

passed #3706
fp-timing
build-coq8.7

00:04:54

 
  Opam
passed #3709
opam

00:00:13