The lworld specification stipulates that:
  - if a value class is used as argument for a new bytecode, this instruction must throw an InstantiationError
  - if an identity class us used as argument for a defaultvalue bytecode, this instruction must throw an IncompatibleClassChangeError

None of these bytecodes currently implement these checks.