Strict python - adds checkers on input and output for python programs. How do we do this? Idea is easy - when you write a docstring for a python function - you need to describe all incoming arguments, ...