Merge: add the annotation `readonly` on attributes