test fixups
fix a problem with `syntax-local-lift-require' at top level

The problem was exposed by improved error checking
in the expander to detect references to exports of a module that
is not yet visited, and as triggered by the documentation for
`2htdp/planetcute'.
fix up some cross references