removed head and line in DirectedArrow attributes, now computed in getters instead