Revert "Panic on recursive foreign decl group"
Revert "Panic on recursive foreign decl group"

This reverts commit 20403c2a675acab389f243db05bc1680df4afc6f.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol