Hacked more on runtime type descriptors for the Move LLVM backend, but my modules don't verify.