Added a few more functions to the Z3 interface, compiled the simplest example.
merge
Adding all of the cats files.
Fixed a few naming bugs.
merge
Updated the new Z3 interface with linear types.
Added debugging output to find why Z3 runs out of memory.
Cleaning up