Way to check if type has unsatisfied generic parameters.

[kiljacken]

I do not know if we have this already, but having a way to check if a given type contains any unsatisfied generic parameters would greatly simplify some of the inference stuff.