Python Type Pattern Matching Game