Function minitt::check::expr::check_infer

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

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