IO: adding functionality for IO to go straight to a file, i.e. to stdout.
Docs: properly documenting IO methods