The hierarchy in JType is overly convoluted, featuring many different type kinds which try to mimic native types parsed by clang. This leads to several insatnceof testing in ASMCodeFactory to handle all possible cases.

Moreover, the logic in TypeDictionary is overly complex, with type resolution logic split between TypeDictionary and HeaderFile. There should be a centralized logic where type resolution occurs.