Replace example in design document

Replace Corrections by SIRS. Also some diagram layout improvements in
the models.