Issue description

The TypeVariable class in its current form cannot represent recursive type variables (like T in T extends Comparable<T>). Attempting to create a TypeVariable from reflective representation ends up with a stack overflow.

One possible way to fix it is introducing type variable references, like in Jandex.