Using options records in Bar as well.

I said we should use more of these. Soon we'll be overhauling the way we take in
options from the world (command line arguments, config files, etc.), and these
should make it much more uniform. I need to look into lenses, but they may help
as well.