Adds time as pkgdep; Pretty prints results with time
Fixes Non-exhaustive pattern in ValueDefinition