the bind combinator is implemented
Tested messages
It is now possible to bind two assertions together that will be applied in sequence.

The evaluation will stop on the first assertion that fails with whatever message that assertion yields.