Function elaborate

pub fn elaborate<I, O>(
    cx: I,
    obligations: impl IntoIterator<Item = O>,
) -> Elaborator<I, O> 
where
    I: Interner,
    O: Elaboratable<I>,