Check method arguments better

[ljacqu]

Especially methods that create Type objects manually based on user input, we should probably check better against various constellations that don't make sense. For example: verify that no primitive type is provided where it's not possible (like in wildcards).

Or e.g. in ParameterizedType, the type args coming in should match the type variables on the raw type... Checking the bounds is yet another story.