Dependent signature files

[nojaf]

I noticed some gaps when working with signature files in my project:

• A type was not hidden by the signature file (similar to Consider functions hidden by a signature file as private. #3530)
• The dependent files of the current file should be detected for the signature file if there is one present. (This is due to the nature of graph-based checking)

[nojaf]

Ready for review