Update for lens HEAD: Accessor -> Const