Tidy up IRIs definition

Fixes #470 by moving the current content of the IRIs section to the requirements block of 5.4 and adding a new more definitiony definition in the definitions section.