No typecheck error when using an direct import for project dependency

[StefMa]

The plugin doesn't highlight an typecheck error when using an direct import for project dependency.

Example:

new test.Action should be marked as error because the super type (Workflow.TypedStep) is not compatible with the project dependency.

Issue spawn from here
apple/pkl#1314 (comment)