Unify capitalization of Botworld
Add references
Canonicalize the formatting

- Use the 'report' class.
- Restructure sections into chapters.
- Add MIRI information to the header.
- Add email addresses to the header.
- Finalize the publishing date.
- Make all \items indented.
Integrate Benja's edits

Mostly changes to the introduction, but includes some minor typo fixes.
add type signature for act