Don't DUMP defined booleans as =Bool<obj_num> -- we expect them to be singletons, but want to see their value anyway.