most are nits changed by russell.
edited some confusing comments in builtins.py