SpanTrees are being added to Systems correctly, though initial attempts at overloading Duration == <= >= != have been unsuccessful