Unset contracts enabled by default for TR.
Make subst-gen not duplicate call to values.
Remove unused code in subst-gen, and remove internal error.
Simplify constraint->type.
Remove unused variable in constraint struct.