Export functionality

I'm starting to work on making exporting happen. Not at all ready to merge - I'm just curious what you think.
Nuke the blank lines. I think my formatter settings should do that for you, no? Do a "format source" on the whole shebang.