[Python-ideas] Create a @deprecated decorator (annotation)