Allow building of TypeLiteral's with dynamic types

It could be useful the building of TypeLiteral's, but using dynamic types. This way, the types can be indicated at runtime and not in compile. This functionality is "doable" as it is done at Guice, a similar injection framework, and as this post shows.