Rename lazy to lazy' to avoid lens name clash

It seems to have been added since 4.0.