Codebase used for refactoring example in Unison, see unisonweb.org/docs/refactoring - View it on GitHub