datatype boolex = Const bool | Var nat
                | Neg boolex | And boolex boolex
