more principled freshness in context.

the stuff below substitution_preserves... is still wip, of course.