Added original versions of these files

This will help filling in the gaps in a few places where I had deleted the original content when formatting the standard library sections.