Add diagnostics for using private types in public function signature

[Snowy1803]

Those modules fail to import — add a diagnostic that catches this problem early
public items should only refer to other public items
private imports count as private items, even if the item is public from another module