Reject nested foralls in foreign imports (#16702)

This replaces a panic observed in #16702 (closed) with a simple error message stating that nested foralls simply aren't allowed in the type signature of a foreign import (at least, not at present).

Fixes #16702 (closed).