Cleaned up comments and type printers in nets.fs.
Moved some private, stateful values out of inner scopes (i.e., scoped within other values) into the module scope in 'printer.fs'. This allowed a number of functions to be declared directly within the module instead of using tuples of lambdas, which should ultimately make the code easier to understand and maintain.
Merge branch 'master' of github.com:jack-pappas/NHol