Firstly, my thanks to Frank Schorr for providing a very easy to follow test case. It turns out that:
Tinaa got very confused if a class had superclasses that weren’t defined (which is arguably understandable since those classes can’t be instantiated and therefore cannot be introspected… On the other hand, going into an infinite loop is generally not the best way to report an error!).
Thus I can announce Tinaa 0.5.10.