Turns on the specified Type of compile-time style checking.
_are not considered named.
Since all style checking is on by default, this predicate is only used
to put back style checking after it has been turned off by
Type is not bound.
Type is not an atom.
Type is not a valid type of style checking.