Allow lens-4.0

restrict lens imports to avoid new name collision on `noneOf`