Changed the summary operator to return a Label instead of an Option[Label], pulls out an optimization, but that isn't likely to survive later optimizations, and I need the real Label for Dijkstra's algorithm.