Rewrite ForeignTy as non-tail-recursive to simplify proving equality
Merge pull request #242 from bitlisp/master

Non-tail-recursive ForeignTy