We don't check x = true

[Vighnesh-V]

We should be flagging checking equality with boolean literals - right now we only do option literals and list literals.

This should be a fairly straightforward rule addition to the equality.ml module in style :)