Function minitt::check::expr::check_telescoped

pub fn check_telescoped(
    index: u32, 
    tcs: TCS, 
    pattern: Pattern, 
    first: Expression, 
    second: Expression
) -> TCM<TCS>

To reuse code that checks if a sigma or a pi type is well-typed between check_type and check