Function minitt::check::check_infer_contextual

pub fn check_infer_contextual(tcs: TCS, expression: Expression) -> TCM<Value>

For REPL: infer the type of an expression under an existing context