Add beginning of equivalence of the interpreters

Status Job ID Name Coverage
  Build
passed #382079059
coq:8.8

00:06:50

passed #382079060
coq:8.9

00:06:58