Function nar::check::rules::clause::bind_as_and_tele

fn bind_as_and_tele<T>(
    tcs: TCS, 
    as_binds: Vec<AsBind>, 
    tele: Tele, 
    f: impl FnOnce(TCS) -> TCMS<T>
) -> TCMS<T>

Bind as patterns