chore(library/rewriter): remove lean-0.1 files