rfc5: clarify mod_main usage + cleanup

Describe how the required `mod_main` symbol may be used by a module loading service.

Provide a bit of context for services and methods in prologue to message ABNF.

Fully specify the ABNF, except leaving references to definitions in RFC 3.