Fixed NPE from type-parameter-checking inference rules
Mase typeof_StaticMethodCall override typeof_IMethodCall
Specified note-to-check for inference rules in the TypeVariableMatchUtil
Added check for type variables matching type parameters in IMethodCall
Merge remote-tracking branch 'origin/master' into 3.1/vaclavFixes