Yirmiuc / python3-typechecks

express constraints on types