doc: revisions to lang.py