[Python-ideas] Type annotations in TypeError messages - Improved error reporting