added unit tests to lib functions and fixed some issues
added unit tests to lib functions and fixed some issues
Merge branch 'master' of https://github.com/jack-pappas/NHol