Reification of a mathematical function as an object. Allows function arithmetics and function composition.