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).
work on bug484 regression --check-models bug
fixed bug 491