Function minitt::type_check::check

pub fn check(
    index: u32, 
    context: Telescope, 
    gamma: Gamma, 
    expression: Expression, 
    value: Value
) -> TCM<()>

check in Mini-TT.