Checks don't always agree with the kind cli

[simonhorlick]

There shouldn't be any difference, but, for example base/Fmt/sprintf.kind does not check with the cli tool, but does with the extension. Similarly base/Nat/add/cancel_left.kind doesn't check with the extension, but does with the cli tool.