Boxing should be a variant of Expr

[lausek]

Value { boxed, .. } is weird as other expressions (e.g. function calls) could be boxed as well.

• [x] Add new Expr variant Box
• [x] Add new Expr variant Unbox