Specify the type of the second input.
Added definition of LOAD-FROM-STATIC-ENVIRONMENT-INSTRUCTION.
Added definition of STORE-TO-STATIC-ENVIRONMENT-INSTRUCTION.