[Runtime/Generator] Correctly handle super types
Add some debug and some fixes