TypeInfo for variable type

[ZZZank]

This PR adds support for TypeInfo.of(TypeVariable), allowing it to wrap type into variable type's bound, instead of TypeInfo.NONE in any cases.

To prevent infinitely parsing same type T in circular types like AAA<T extends BBB<T>>, the VariableTypeInfo will be pushed into VariableTypeInfo.CACHE before its bound is translated into TypeInfo.

For example, when translating T extends BBB<T> into TypeInfo, T will first be translated and pushed into cache, then BBB<T>, then the inner T, whose matched TypeInfo is already in the cache, breaking the loop.