Construct, compare, simplify, and modify Boolean expressions.Use the supplied GenericActions to easily build an interface for things end users are likely to want to do.Use any type as an atom in an expression. *Register to receive change propagation notifications. * Some glue required to edit atoms using GenericActions. Requires the Generic Actions Framework (Interaction-Actions package).