Define insertL, insertR, subst, and rember using insert-g!