Function minitt::check::tcm::update_gamma

pub fn update_gamma<'a>(
    gamma: Gamma<'a>, 
    pattern: &Pattern, 
    type_val: Value, 
    body: Value
) -> TCM<Gamma<'a>>

Move version of upG in Mini-TT.
Gamma |- p : t = u => Gamma’

Cow is used to simulate immutability.