Function minitt::type_check::check_recursive_declaration

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

Extracted from checkD in Mini-TT.
This part deals with recursive declarations, but without prefixed parameters.