Enhancing Readability of Python Code via Annotations