Stavros,
> The notion is that the evaluator would do whatever is necessary to
> create a new evaluation context within which the various assumptions
> would hold, and that would be the evaluation context for expr.
I'm agreement on this point. Let us know if you make progress
on this. We can work on the syntax.
best,
Robert