Restructured API documentation.
Gave future a monoid instance.