Added the parts from the formats paper, and reworked the order. Added a bit more about comparison with other approaches.