add procedure make-seg
add higher-order operation split for right-split and up-split