Renamed HotTypes to HotType and added comparison function.
Added PairSet.
Abstraction of ranked alphabet symbols and types.