simplify

open override fun simplify(): BooleanExpression<T>

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