Define formats

This isn't ready to merge yet, but so that people can start looking at the definitions.