typisch (npm): Set-theory based runtime type system
Keywords: set-theory|types|type-checking|validation