Function minitt::type_check::check_infer

pub fn check_infer(
    index: u32, 
    (gamma, context): TCS, 
    expression: Expression
) -> TCM<Value>

checkI in Mini-TT.
Type inference rule. More inferences are added here (maybe it's useful?).