change variable names to be somewhat more reflective of types
minor variable renaming
in freshen, substitute only if necessary; refactor several functions to take annotated terms instead of separate term and type parameters; rename variables to be more reflective of types
fix bugs in previous commit
change generalize to take an annotated term rather than a term and a type; add explanatory comment
fix to be consistent with changes in Alpha; still needs cleanup