Revert "Updated lens constrain to include lens 4.0"

This reverts commit 2ee07b29d549c605e245a08379fa0890dbadf368.

We can't upgrade lens until the diagrams library does so.