conditions Python module for adding type signatures, pre- and postconditions to python functions and methods.