Bug fixes

* Changed `withArgs` to be parameterised.
* Fixed annoying and misleading error message for PathFacts.

This also includes the changes from and closes #16.