[FIR] Support flexible types and star projections in exposed visibility declaration checker

#KT-62925

compiler/testData/diagnostics/tests/exposed/packagePrivate.fir.kt

@@ -19,9 +19,9 @@ class His {
     // Ok: internal vs package-private in same package
     internal fun internal() = My.foo()
     // Error: protected vs package-private
-    protected fun protected() = My.foo()
+    protected fun <!EXPOSED_FUNCTION_RETURN_TYPE!>protected<!>() = My.foo()
     // Error: public vs package-private
-    fun public() = My.foo()
+    fun <!EXPOSED_FUNCTION_RETURN_TYPE!>public<!>() = My.foo()
 }
 
 // FILE: other/Your.kt

compiler/testData/diagnostics/tests/exposed/typeArgs.fir.kt

@@ -13,5 +13,5 @@ interface Generic<E: <!EXPOSED_TYPE_PARAMETER_BOUND!>My<!>>
 
 interface Our {
     // invalid, Generic<My> is effectively internal
-    fun foo(): Generic<*>
-}
+    fun <!EXPOSED_FUNCTION_RETURN_TYPE!>foo<!>(): Generic<*>
+}