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