Documentation update:

- Rewrote main documentation page
- Fixed a few errors in the IF1 reference
- Rewrote part of the introduction of the reference