This code to load the types from the bytecode is pretty simple.
Step one: read all types that aren’t type 2 or 3
Step two: read all types that are type 2 or 3
Step three: read all types that are type 1
Step four: read all types that are type 2, and separately, all types that are type 3
