Show diagnostics for unused `use` statements.

[srchase]

If a model file contains a use statement, but the imported trait is not applied to any of the shapes within the file, or the imported shape is not used, show a note or warning diagnostic statement on the unused use statement so that the model author is prompted to either remove the use statement, or make use of it by applying the trait, or using the shape as appropriate.