Function minitt::check::tcm::update_gamma_by_var

fn update_gamma_by_var<'a>(
    gamma: Gamma<'a>, 
    type_val: Value, 
    name: &String
) -> TCM<Gamma<'a>>

Some minor helper specialized from other functions.