Instance.hs: add an 'arPolicy' field for auto-repair policy