Updated inference annotation scheme not to use helperMakeVarType which is not yet tested and operational.
Instead, the inference annotation scheme is now derived from the parametric one.