Explicit return types

- Squashed your commits together
- Fixed formatting in "Unit-returning functions"
- Tweaked the wording a little bit