Hi, I believe this scalability problem is fixed on the master branch of Guile, which will become Guile 2.2. The master branch successfully compiles the example you provided in <http://bugs.gnu.org/13101>.
I don't think we can reasonably fix it in 2.0.x. I'm closing this bug now, but feel free to reopen it if you still see problems along these lines on the master branch. Thanks! Mark