Adding a comment to io.h

 This explains the typedefs.
Adding io stuff, and starting on verify module (will move further work to another branch)