typing_tools (cargo): Collection of general purpose tools for type checking. 
Keywords: general-purpose|fundamental