Add append operations and better renaming support#2

amarmaduke merged 4 commits into

mainamarmaduke/lean-subst:mainfrom

appendamarmaduke/lean-subst:appendCopy head branch name to clipboard