In #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
In #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