Added some notes in the source code explaining some of the automatically derived types and instances.