Function minitt::check::tcm::update_gamma_lazy

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

Lazy version of upG in Mini-TT.