GitHub repository: wearereasonablepeople/typisch
Description: Set-theory based runtime type system