Dynamics.Elaboration
  ✅ Filter test (menhir)
  ✅ Test failed (menhir)
  ✅ Built-in function (menhir)
  ✅ Dynamic error hole (menhir)
  ✅ Constructor test (menhir)
  ✅ Failed cast test (menhir)
  ✅ Type ap test (menhir)
  ✅ Let expression for a tuple (menhir)
  ✅ Single integer (menhir)
  ✅ Let expression for a function (menhir)
  ✅ Empty hole (menhir)
  ✅ Free var (menhir)
  ✅ Bin op (menhir)
  ✅ Inconsistent case (menhir)
  ✅ ap fun (menhir)
  ✅ Consistent if (menhir)
  ✅ Undefined test (menhir)
  ✅ List exp (menhir)
  ✅ Invalid test (menhir)
  ✅ Type alias test (menhir)
  ✅ List concat test (menhir)
  ✅ Unary operation test (menhir)
  ✅ Sequence test (menhir)
  ✅ FixF test (menhir)
Dynamics.Parser
  ✅ Integer Literal
  ✅ Fun
  ✅ String Literal
  ✅ Deferred Ap