Added 'Biff' and 'Tannen', for composing functors and bifunctors.

Untested. Should resolve #10.