Change to the dart:js library and remove the mirrors stuff to slim down the code.

I'd like to bring back the feature someday, but for now, this works.