AST
Booleans are not Church-encoded