wrote (insertL-f ...);
wrote (insertR-f ...);
new function (insert-g ...);
conserving namespace;
defined (subst ...) relative to new abstractions;