Python Type Checking Functional Behavior Assessments