Type Alias FixpointSolution 

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