Allow more unboxing (variables, ifthenelse, boxed int constants)