Check for type equality, taking intersection types into account. If it's possible that types are equal -- enforce that. Assume non-seperated types.
MType Class | Nemerle.Compiler Namespace