Spice Up Thy Jupyter Notebooks with mypy

Add type-checking to Jupyter Notebook cells