indentation
Bug fix
factorize bool operations
polymorphism bool_expr