bor and band instances

Stream: new members

[Vaibhav Karve]

Should band and bor be instances of is_associative and is_commutative? I couldn't find it in mathlib.

The closest thing is bool.bor_comm etc. which is listed here: https://leanprover-community.github.io/mathlib_docs/data/bool.html