Function minitt::type_check::check_type

pub fn check_type(index: u32, tcs: TCS, expression: Expression) -> TCM<TCS>

checkT in Mini-TT.
Check if an expression is a well-typed type expression.