Start metrics for higher-order functions
Additions to the Referential Transparency metrics