Add new packages and resolve several issues

Here are a bunch of commits that resolve most of the lingering issues on GitHub, add some new packages not previously mentioned in issues, and also do a bit of general formatting cleanup.