This visit shouldn't be necessary, you're duplicating the work done below.

I also think that `ExprBox` needs to be disallowed.