Add non backtracking `TCIf` type class.

6 jobs for master in 16 minutes and 19 seconds
Status Job ID Name Coverage
  Build
passed #8563
fp
build-coq.8.6.0

00:02:38

passed #8562
fp
build-coq.8.6.1

00:02:37

passed #8561
fp
build-coq.8.7.0

00:02:33

passed #8560
fp
build-coq.8.7.1

00:06:18

passed #8559
fp-timing
build-coq.8.7.2

00:05:21

passed #8558
fp
build-coq.dev

00:16:19