Python Type Checking Functional Behavior Plan