public virtual void DoUnify(TypeVariable var, Substitution substitution)
{
var.DoUnify(this, substitution);
}
public void Bind(TypeVariable variable, Type type)
{
Map = Map.Add(variable, type);
}
public virtual void UnifyWithRigid(TypeVariable var, Substitution subst)
{
throw RigidTypeException.Create(var.RigidName, this);
}