refactor(constraint): remove list comprehensions and default visibility

There are unnecessary list comprehensions in the constraints that
have been flattened to raw aliases.

The default visibility has been removed in favour of explicitly setting
the visibility on each rule. This prevents accidental exporting of
constraints that are expected to be internal.