Bump lens upper version bounds

Allow `idris` to be built with the latest version of `lens` (4.6).