A small type checking module for python 3