Type Alias ClosedSolution 

pub type ClosedSolution = (Vec<(Var, Sort)>, FixpointSolution);