Numerous bug fixes.
Added the ability to parse and handle ':- show' statements.
Restructured translation routines to be much more robust.
Added the default behavior of squelching solver warnings. This can be overriden with the '--solver-warnings' flag.