Tree.WithinOp is always unboxed.
Issue #1289: Fix boxing for WithinOp. If any of the terms is optimizable we optimize the whole thing.
Issue #1289: Improve test