WYCS: I'm going to need a binary format.
WYCS: more refactoring.
WYCS: making progress.  Need to add a lowering stage now.