The print_all/1 predicate works better now.

The generated is_<sort>() functions should work properly with
quantifiers (the additional conjunction allows the standard name that
doesn't occur in the BAT).