voile::check::unify
fn solve_with(tcs: TCS, meta: MI, solution: Val) -> TCM
Solve a meta with a specific value.