pub type TypeEquations = HashMap<TypedExpression, TypeVarID>;
pub struct TypeEquations { /* private fields */ }