Circle takes an optional name, sync with diagrams-lib
Better threading of names and lifting