e0:E e1:E p:P3 -> e:E
splits an edge or vertex
'e dup vertexCW p makeEV' inserts a new point on e, and e's vertexpos is now p, and the result is e vertexCW.