Fix to boolean-terms; resolves bug #507
Fix to dumping re: boolean terms, datatypes
Comment out some debug-related things in attribute code, no longer needed