Variables: massive upheaval where all data is typed
- this is everything except the ConstantPool stuff, and the corresponding LDC opcodes
- also need to apply type correctness to native method return values
- INCOMPLETE, compile errors everywhere, don't judge