In https://github.com/runtimeverification/pl-tutorial/pull/3 we removed usages of the existing `SUBSTITUTION` module; we should update documentation to reflect this.
