Initial checkin of standalone GenericTypeInferenceHelper