Function minitt::type_check::check_declaration

pub fn check_declaration(
    index: u32, 
    context: Telescope, 
    gamma: Gamma, 
    declaration: Declaration
) -> TCM<Gamma>

checkD in Mini-TT.
Check if a declaration is well-typed and update the context.