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