add rember* Chap05 p83 L3
add insertR* Chap05 p84 L3
add occur* Chap05 p87 L1
add subst* Chap05 p87 L3
add insertL* Chap05 p88 L2