Checkpoint work on generalizing RSE to allow RHS refs