Beef up Default documentation

Given that the `Default` module is now stable, it might as well get good docs.