Use constructor again, but make cbn/simpl unfold it

3 jobs for master in 6 minutes and 6 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #91552
au
coq:8.8

00:02:42

passed #91553
au
coq:8.9

00:02:43

passed #91554
au
coq:dev

00:03:23