Working on DeBruijn renamed terms evaluating. Re-deBruijning still needs to happen after a substitution.
Working on DeBruijn renamed terms evaluating. Re-deBruijning still needs to happen after a substitution.

armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol