looks like we need a dedicated unbox2box(box2unbox(e)).x rule

because otherwise stuff like this is going to end up in unbox2box(cs).x