Fix a small problem in clang builds due to namespaces and symbol lookup
Merge branch '1.0.x'
Fix a tuple attribute bug that was causing model-generation problems for tuples
Merge branch '1.0.x'
Enable Boolean Term conversion in datatypes
Support Boolean term conversion in datatypes.  Not yet working: parametric DTs, tuples, and records.
Fix subtype and comparability checking for record types.
allow typenodes out of node builders
variety of fixes to tuples and records with embedded Boolean terms, and to datatypes with Booleans