Finish `Pure First order function' metrics
Minor fixes in higher-order function metrics
Add stub 'Validation' section
Add stub section for modularity metrics
Add example for Halstead volume