Add typeApplications option for restricted functions

[terror]

Resolves: #1637

This diff adds a typeApplications option to function restrictions, allowing users to require or forbid visible type arguments on specific functions. The primary use case is enforcing refactor-safe usage of polymorphic functions like fromIntegral and show, where implicit type inference can silently produce incorrect behaviour after type changes.

E.g., you're now able to specify:

- functions:
  - {name: fromIntegral, typeApplications: required}
  - {name: show, typeApplications: required}

Where fromIntegral x will be flagged with "Use visible type application", while fromIntegral @Int @Int64 x will be accepted. The option also supports forbidden for cases where type applications should be disallowed.

[terror]

Aside from adding restrictTypeApp, this is strictly a style refactor to make it more apparent as to what's going on. If this doesn't align with how we proceed elsewhere I'm happy to revert!

[terror]

I'm questioning the need for a forbidden variant here, I don't see a strong use case for it in the original issue 🤔