A Python library for data types that support custom methods for type checking