Enhanced output
Fixed bug that limited search results. Timeout flag enforced.

Fixing the bug hits performance where integer theory is used.  Many more
expressions are added. However, more VC's are able to be proven.
Fixed bug that limited search results.  Enforcing timeout (default 2 seconds)

Reformatted.
Merge pull request #120 from mikekab/CongruenceClassPackageBranch

Fixed bug that limited search results.  Timeout flag enforced.
Grammar fixes to set construction
work in progress
Set Collection Exp done. Need to add its type in Populator
formatted some files