Migrated to diagrams-lib-1.0.

Main change: coordinates are composed with '(^&)' instead of '(&)', which apparently has gotten incompatible with 'lenses'.