add model for new terms

5 jobs for master in 5 minutes and 52 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #5972
fp-timing
build-coq.8.6.1

00:02:51

passed #5971
fp-timing
build-coq.8.7.0

00:02:43

passed #5970
fp-timing
build-coq.8.7.dev

00:03:00

 
  Deploy
passed #5973
opam

00:00:14

passed #5974
reverse-deps

00:00:14