Added insertR*, insertL*, subst*, occur*, member*, leftmost.