Fix carr == carr

Currently equivalence of composite arrows.  I tried fixing this a while ago and recall it being more complex than it seems (can't remember why).  With #112, we may need two notions of equivalence.