kills introduceTopLevel

As we've figured out from the practice, introduceTopLevel is seductively
useful but unfortunately not robust, potentially bringing compilation
order problems.

Therefore, as discussed, I'm removing it from the public macro API.
Alternatives are either: 1) delving into internals, or
2) using macro paradise and experiment with macro annotations:
http://docs.scala-lang.org/overviews/macros/annotations.html.