First-class relationships: typed edge ledger, relationship definitions, cardinality enforcement, UI polish.