Function voile::check::eval::evaluate

fn evaluate(tcs: TCS, abs: Abs) -> (ValInfo, TCS)

Ensure abs is well-typed before invoking this, otherwise this function may panic or produce ill-typed core term.