Function apply_solvable 

fn apply_solvable(
    name: Id,
    ctx: impl ExactSizeIterator<Item = Variable>,
) -> Term