class Steep::Subtyping::Constraints

def unknowns

def unknowns
  Set.new(dictionary.keys)
end