Unbearably fast O(1) runtime type-checking in pure Python
