make datatypes enumerator behavior clearer (no exceptions in normal operation)
Do not install the "private-library" header
Make --default-dag-thresh apply to stringstreams
Fix error in tuple type-checking.
More complete fix for bug 484 (includes fixes for records and tuples).
Significant work on bug #491 (not yet closed).
Only put quantifier assertions in model equality engine if fullModel==true