New import diagnostics: list problems, list imports

Keep this test on @XFAIL for now, the errors that it finds will go in a separate commit.