Cleaned up formatting and added documentation to the rest of the top-level files