Proper+ compiler prints readable BATs; fixed is_<sort>() functions.

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).