Refactor src/bidirectional.c with Herodotus

This simplifies a lot of the code and makes it more consistent as it now
uses patterns that are similar to those in src/case.c.

The most significant effect is of course the guarantees that come with
using this interface.

Signed-off-by: Laslo Hunhold <dev@frign.de>