Unbearably fast runtime type checking in pure Python
