doc: revisions to lang.py (7)