Forall intents - the initial implementation.

This assumes the first Expr in the block will always be the DefExpr of the right var, which seems fragile.