disco-0.1.6: test/types-357/expected

While checking REPL.f:
  Error: typechecking failed.
  https://disco-lang.readthedocs.io/en/latest/reference/typecheck-fail.html
While checking REPL.sumto:
  Error: typechecking failed.
  https://disco-lang.readthedocs.io/en/latest/reference/typecheck-fail.html