Function minitt::check::expr::check_merge_type

pub fn check_merge_type(
    index: u32, 
    tcs: TCS, 
    left: Expression, 
    right: Expression
) -> TCM<(Level, TCS)>

To reuse code that checks if a merge expression is well-typed between check_type and check