typecube (pypi): Utilities and library to model types and type systems
Keywords: languages|type system|types