simplify

abstract fun simplify(): BooleanExpression<T>

This is not super well defined but works well enough for our simple use cases