Better TypeInfo

[JonathanxD]

Currently, TypeInfo is very useful to workaround the erasure, allowing types to be specified through a constructed type, or using abstract classes. But there are various limitations, the mainly is that it is invariant, so ? extends Iterable<String> is represented as TypeInfo<Iterable<String>> and ? super Iterable<String> is represented as TypeInfo<Object> (yes, it is).

To solve that, the class should be fully rewritten, but one of the goals is to keep same functionalities. A good example of generic representation is GenericType of CodeAPI: Generic.type(List.class).of(Generic.wildcard().extends$(CharSequence.class))