fixed export
Merge branch 'lens' of https://github.com/diagrams/diagrams-lib into lens