Adding a missing makefile to the dist (fixes distcheck)
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
Don't allow --stats if not a statistics-enabled build