It could be useful to use bool in exclusion constraints, but it'scurrently not nicely supported. The attached patch adds support forbool to the btree_gist extension, so we can do this.
I am adding this to the commitfest 2021-07.