Currently, Type::cmp is designed to return an integer 0 when types are equal, and an integer 1 when they are not. This is used as a comparator for the type dictionary, but it makes usages at call sites confusing. I think it would be cleaner to define the function as returning a boolean denoting equality and passing a lambda to the dictionary for use as a comparator.