Add a test for --no-known-types|-K