Fixed logger so it's configured upon first use.
Fixed module entry messages.
Merge branch 'removing-exceptions' of github.com:jack-pappas/NHol into removing-exceptions