Refactoring out lvar-immutable? for readability
Allow insn definitions to have alternative num-params
Changed BOX insn to be used to box procedure parameters as well
Added ENV-SET insn for fixing lvar boxing
Explicit BOX/UNBOX support