e0:E e1:E → e:E
e0 and e1 must belong to different vertices of the same face. Creates a diagonal egde and a new face, which is to the left of the line e1 - e0. The resulting edge has e1's vertexpos.