Add boxing/unboxing to unary coercion.
Add boxing/unboxing and coercion to variable declarations and negations.
Add Boxing test.
Add negation to Coercion test.