Additions to opcodes and type generation
* added Inherits() method for DynamicTypeInfo (and relevant unit test)
* added several opcode methods