Dan Luu

We should enforce some kind of style with `ClangFormat`. @MikeHopcroft , let's discuss the particulars of what will be enforced when I'm back in town.

What's leftover? I took a look at this and it wasn't obvious to me what still needs to be removed.