typisch

Set-theory based runtime type system