added hooks for operations andThenBool and orElseBool

fixed https://github.com/kframework/k/issues/970

@dwightguth please review