Refactor away overloads in 'os' stubs
Fix type check errors
Minor tweaks to os module stubs
Merge branch 'yczhu-refactor-stub-overloads'