Checkpoint: Add Order object; begin Formalize() for DML statements.