Bump lens upper version bounds

Allow `idris` to use the latest version of `lens` (4.5).