Function minitt::type_check::check_declaration

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

Originally checkD in Mini-TT, but now it's not because this implementation supports prefixed parameters :)
Check if a declaration is well-typed and update the context.