Module recovery 

#1663: diagnosing a file the strict parser rejects, for the CLI’s single-file check. The editor’s bynk_ide::diagnose follows the same rules (Decisions A and B) on its own recovering parse.

Functions

diagnose_unparsable

#1663: the diagnostics for a file the strict parser rejects with strict — that error, every other syntax error from a recovering parse, then the resolver’s and checker’s findings in the declarations that did parse. References to a declaration recovery had to skip are known names, not unknown ones (Decision B), and the checker’s diagnostics in a declaration the resolver rejected are its echoes (Decision A); both are left out.