 Oriented smoothing

The oriented smoothing replaces a crossing by two disjoint arcs whose orientations agree with the four oriented ends. It is the zero-resolution in an oriented skein relation.