Creating a type checker magic function in IPython | Hacker News Reader