Type Alias KvarSolution 

type KvarSolution<T> = (Vec<(<T as Types>::Var, Sort<T>)>, Expr<T>);