minor Haddock cleanup
Implement 'Rebind' combinator.

Extended test-calc to exploit Bind, Embed and Rebind.