Function minitt::type_check::check_infer

pub fn check_infer<Name: DebuggableNameTrait>(
    index: u32, 
    context: Telescope<Name>, 
    gamma: Gamma<Name>, 
    expression: Expression<Name>
) -> TCM<Value<Name>>

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