class Steep::Subtyping::Constraints

def initialize(unknowns:)
  @dictionary = {}
  @vars = Set.new
  unknowns.each do |var|
    dictionary[var] = [Set.new, Set.new]
  end
end