Let’s make believe that everything is Bool.
Add the boolean terms.
Add a function to construct boolean terms.
Abstractions are typed.