Function minitt::check::expr::check_sum_type

pub fn check_sum_type(
    index: u32, 
    (gamma, context): TCS, 
    constructors: Branch
) -> TCM<TCS>

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