class Steep::TypeAssignability

def initialize() 

def initialize()
  @signatures = {}
  @klasses = []
  @instances = []
  @errors = []
  if block_given?
    yield self
    validate
  end
end