changed terminology from "matching" computations to "normalizing" them, and mostly wrote the code to do so
changed terminology from "matching" computations to "normalizing" them, and mostly wrote the code to do so

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script