Function minitt::check::decl::check_lift_parameters

pub fn check_lift_parameters<'a>(
    index: u32, 
    tcs: TCS<'a>, 
    parameters: Vec<Typed>, 
    check_body: impl FnOnce(TCS<'a>) -> TCM<LiftState<'a>>
) -> TCM<LiftState<'a>>

Lift all these parameters into the context.
Returning TCS to reuse the variable.

check_body is supposed to return signature, body and tcs.