Higher-order property analysis
------------------------------

This analysis analyzes the higher-order status of an operation.
It classifies an operations as higher-order since if it
has functional arguments or results, or or it processes
data structures with functional components.