Move recursive Behaviors to constructor tails.

In particular, re-arrange
  Sequence b1 names b2
to
  Sequence names b1 b2

This enables more convenient Applicative use.
Fix assorted bugs in Show instance for Behavior.
Parse LOTOS source using Parsec.