let
e_not = unop bool_not