Update README.

- Reword "methods" section
- Add rationale for the absence of non-template nullary metafunctions
Add infix application and sections to the Functional module.