[Python-ideas] Should Python enforce Type-checking in the future?