We've added a BoolAlgebra instance for Int, mapping logical true to 1 and false to 0 to support integer-based boolean logic. The test suite was refactored to use this new instance, replacing verbose lists of True and False values with simple 0 and 1 integers. This makes truth tables significantly more compact and easier to read at a glance.