Comment 3 for bug 769592

Um... I posted that before I was finished and I don't see a way to edit it. Sorry.

Anyway, the comment. It suggests if you bind *lexenv* to env the signals will be more proper, and they do seem to be. The first example in the original post prints the proper "IGNORE for outer scope" warning, and free type declarations work.

It's not perfect though, the second example prints something about a compiler note variable being unbound.

This is in 1.3.3 but it's still present in 06b2113 I think.