Merge branch 'er433/fix/test-framework-fail-type' into 'dev'

changelog/2609

src/bin/expect_tests/ligo_interpreter_tests.ml

src/bin/repl.ml

src/main/interpreter/common/execution_monad.ml

src/main/interpreter/common/michelson_backend.ml

src/main/ligo_lsp/requests/folding_range.ml

src/main/ligo_lsp/requests/range_formatting.ml

src/main/scopes/types_pass.ml

src/passes/01-lexing/cameligo/Self-passes/Tokens/dune

src/passes/03-unification/cameligo/compile.ml

src/passes/03-unification/jsligo/compile.ml

src/passes/10-checking/computation.mli

src/passes/10-checking/errors.ml

src/stages/2-ast_unified/combinators.ml

.../contracts/interpreter_tests/test_decompile_failure.mligo

src/test/id_tests.ml

src/test/integration_tests.ml

src/test/lsp_test/folding_range.ml

src/test/pretty_printer_tests.ml

src/test/test_helpers.ml