Order[Model] instance

[dilation]

Model could have an Order instance. Simple version: based on a canonical serialized representation. Not so simple version: taking into account the backward/forward compatibility (but that is a partial order, so we still need the other solution).