Fix an levity-polymorphism error

As #19522 points out, we did not account for visible type
application when trying to reject naked levity-polymorphic
functions that have no binding.

This patch tidies up the code, and fixes the bug too.