More lens stuff
Merge branch 'lens' of https://github.com/diagrams/diagrams-contrib into lens

Out of seek with head