[Toss-devel] Nomenclature (assgn)

[Lukasz S. <luk...@gm...>]

I've been using the term "substitution" an the shortcuts "subst" and
"sb" where I really should be using terms "assignment" or
"interpretation". Should I go over my code and rename? Is there a
reason that you use "assignment" exclusively and not "interpretation"?