Disintegrate grants some freedoms to Bool_
Disintegrate grants some freedoms to Bool_

- WARNING: it typechecks, but is incomplete
- Only true and false are implemented
  - Unsure if done correctly!
  - Ord' and Show' instances for Tree are incomplete
- if_ has not been implemented yet

zaxtax/hakaru,zaxtax/hakaru,zachsully/hakaru,zachsully/hakaru,bitemyapp/hakaru,suhailshergill/hakaru