Bugfixes and more/better examples.
This is the first release where the repository only contains code for theorems. Before, is also contained a template for note taking, which has now moved into its own repository.