pub type Solution = HashMap<KVid, Binder<Expr>>;
A type to represent Solutions for KVars
pub struct Solution { /* private fields */ }