Move a few examples to tests

Normalize the way to write combinators (starting with +>).
Should remove old tests soon.