In https://github.com/rise-lang/shine/pull/190, alpha renaming on substitution is removed from DPIA. This renaming was originally implemented to enforce unique names. If we remove it and stop enforcing unique names, then capture-avoiding substitution should be implemented in DPIA, as it is currently in Rise.
In https://github.com/rise-lang/shine/pull/190, alpha renaming on substitution is removed from DPIA. This renaming was originally implemented to enforce unique names. If we remove it and stop enforcing unique names, then capture-avoiding substitution should be implemented in DPIA, as it is currently in Rise.
Related to #81 and #164