Function minitt::check::expr::check_fallback

pub fn check_fallback(
    index: u32, 
    tcs: TCS, 
    body: Expression, 
    signature: Value
) -> TCM<TCS>

Fallback rule of instance check.
First infer the expression type, then do subtyping comparison.