Function gluon_check::unify_type::instantiate_generic_variables

pub fn instantiate_generic_variables(
    named_variables: &mut FnvMap<Symbol, ArcType>, 
    subs: &Substitution<ArcType>, 
    typ: &ArcType
) -> ArcType

Replaces all instances Type::Generic in typ with fresh type variables (Type::Variable)